On Time, Space, and Action Nets

Action, time and space in description logics

Binding space and time through action.

Space and time are intimately coupled dimensions in the human brain. Several lines of evidence suggest that space and time are processed by a shared analogue magnitude system. It has been proposed that actions are instrumental in establishing this shared magnitude system. Here we provide evidence in support of this hypothesis, by showing that the interaction between space and time is enhanced w...

State space computation and analysis of Time Petri Nets

The theory of Petri Nets provides a general framework to specify the behaviors of real-time reactive systems and Time Petri Nets were introduced to take also temporal specifications into account. We present in this paper a forward zone-based algorithm to compute the state space of a bounded Time Petri Net: the method is different and more efficient than the classical State Class Graph. We prove...

Action Recognition based on Local Space-Time Features

This thesis presents a novel action recognition approach using video representation in the form of spatio-temporal interest points in combination with Support Vector Machine (SVM) classification. By adapting the local neighborhood of the interest points, we construct a representation that is invariant to the spatial scale, temporal frequency and relative motion of the camera. Moreover, the inte...

Time Petri Nets State Space Reduction Using Dynamic Programming

In this paper a parametric description for the state space of an arbitrary TPN is given. An enumerative procedure for reducing the state space is introduced. The reduction is defined as a truncated multistage decision problem and solved recursively. A reachability graph is defined in a discrete way by using the reachable integer-states of the TPN.